منابع مشابه
MODULARITY OF AJMAL FOR THE LATTICES OF FUZZY IDEALS OF A RING
In this paper, we construct two fuzzy sets using the notions of level subsets and strong level subsets of a given fuzzy set in a ring R. These fuzzy sets turn out to be identical and provide a universal construction of a fuzzy ideal generated by a given fuzzy set in a ring. Using this construction and employing the technique of strong level subsets, we provide the shortest and direct fuzzy set ...
متن کاملmodularity of ajmal for the lattices of fuzzy ideals of a ring
in this paper, we construct two fuzzy sets using the notions of level subsets and strong level subsets of a given fuzzy set in a ring r. these fuzzy sets turn out to be identical and provide a universal construction of a fuzzy ideal generated by a given fuzzy set in a ring. using this construction and employing the technique of strong level subsets, we provide the shortest and direct fuzzy set ...
متن کاملRegularity in residuated lattices
In this paper, we study residuated lattices in order to give new characterizations for dense, regular and Boolean elements in residuated lattices and investigate special residuated lattices in order to obtain new characterizations for the directly indecomposable subvariety of Stonean residuated lattices. Free algebra in varieties of Stonean residuated lattices is constructed. We introduce in re...
متن کاملSub-Birkhoff
A fundamental result in rewriting is : E |= s ≈ t ⇐⇒1 E ` s = t ⇐⇒2 s↔E t 1. is Birkhoff’s theorem expressing that semantic consequence (|=) coincides with syntactic consequence (`). 2. expresses that equality in equational logic (=) coincides with convertibility in rewriting (↔∗), a property known as logicality. We show that the result can be extended to hold for several sub-equational logics ...
متن کاملTopological Birkhoff
One of the most fundamental mathematical contributions of Garrett Birkhoff is the HSP theorem, which implies that a finite algebra B satisfies all equations that hold in a finite algebra A of the same signature if and only if B is a homomorphic image of a subalgebra of a finite power of A. On the other hand, if A is infinite, then in general one needs to take an infinite power in order to obtai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1944
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1944-08103-2